$\forall$$T$:Type, $x$, $y$:(Top List). ($\uparrow$null($x$)) $\Rightarrow$ ($\uparrow$null($y$)) $\Rightarrow$ ($x$ = $y$ $\in$ ($T$ List))